The interior operator logic and product topologies
نویسندگان
چکیده
منابع مشابه
Categories of lattice-valued closure (interior) operators and Alexandroff L-fuzzy topologies
Galois connection in category theory play an important role inestablish the relationships between different spatial structures. Inthis paper, we prove that there exist many interesting Galoisconnections between the category of Alexandroff $L$-fuzzytopological spaces, the category of reflexive $L$-fuzzyapproximation spaces and the category of Alexandroff $L$-fuzzyinterior (closure) spaces. This ...
متن کاملFunction Spaces and Product Topologies
Introduction IN a previous paper (4) I defined ten product topologies o n l x T . In this paper five of these products are applied to problems on function spaces. All spaces will be Hausdorff spaces. The exponential law for function spaces with the compact-open topology is discussed in § 1. The main result (Theorem 1.6) is that the spaces X and (X) are homeomorphic for all X, Y, Z (in this pape...
متن کاملBranch Product Topologies
We define branch product topologies, a new product construction. Branch product topologies generalize sum topologies and product topologies. We investigate criteria for branch products or iterations of branch products to preserve various topological properties, focusing on the separation axioms and compactness. In particular, we generalize the Tychonoff Theorems for compactness and D-compactness.
متن کاملLogic and operator algebras
The most recent wave of applications of logic to operator algebras is a young and rapidly developing field. This is a snapshot of the current state of the art. Mathematics Subject Classification (2010). 03C20, 03C98, 03E15, 03E75, 46L05,
متن کاملWeak topologies for Linear Logic
We construct a denotational model of linear logic, whose objects are all the locally convex and separated topological vector spaces endowed with their weak topology. The negation is interpreted as the dual, linear proofs are interpreted as continuous linear functions, and non-linear proofs as sequences of monomials. We do not complete our constructions by a double-orthogonality operation. This ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1980
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1980-0554321-4